Bounded Verification of Software Models: Challenges and Opportunities
نویسندگان
چکیده
منابع مشابه
Algebraic Techniques in Software Verification : Challenges and Opportunities
One of the main application areas and driving forces behind the development of Satisfiability Modulo Theory (SMT) solvers is software verification. The requirements of software verification are somewhat different to other applications of automated reasoning, posing a number of challenges but also providing some interesting opportunities. This paper brings together and summarises the algebras an...
متن کاملBounded Verification of Voting Software
We present a case-study in which vote-tallying software is analyzed using a bounded verification technique, whereby all executions of a procedure are exhaustively examined within a finite space given by a bound on the size of the heap and the number of loop unrollings. The technique involves an encoding of the procedure in an intermediate relational programming language, a translation of that l...
متن کاملModels in Software Architecture Derivation and Evaluation - Challenges and Opportunities
Software architecture derivation and evaluation are complex and error prone activities that still represent an open problem with many challenges and opportunities where model-driven software development can play a leading role. In software product line development, the use of model-driven principles could help by providing a richer semantic representation of a product line and by capturing the ...
متن کامل1 Crowdsourcing in Software Engineering : Models , Opportunities , and Challenges
Almost surreptitiously, crowdsourcing has entered software engineering practice. In-house development, contracting, and outsourcing still dominate, but many a software development project today uses crowdsourcing for a variety of purposes, whether it is to squash bugs, test their software, or gather alternative designs for a new user interface. While the overall impact has been mundane thus far...
متن کاملIslam; Challenges and Opportunities
Undoubtedly Islamic Revolution of Iran has been the source of Islamic awakening in the middle-east. Therefore Islamic Republic of Iran plays the role of an example and a director of political developments in the region. Islamic awakening in Arab countries has been able to question the dominant discourse of dictators in the middle-east region and topple their regimes. These developments include ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IN3 Working Paper Series
سال: 2015
ISSN: 2013-8644
DOI: 10.7238/in3wps.v0i0.2490